[Mini-OS] Fix init_waitqueue_entry

Fix initialization of thread_list in init_waitqueue_entry().

Signed-off-by: Samuel Thibault <samuel.thibault@xensource.com>

diff --git a/extras/mini-os/include/wait.h b/extras/mini-os/include/wait.h
index d8338fbd8e2359cffdc3aee8e9d67fc593511c64..b7af396149a651c8753f002070a068fdb494d71e 100644 (file)
--- a/extras/mini-os/include/wait.h
+++ b/extras/mini-os/include/wait.h
@@ -41,6 +41,7 @@ static inline void init_waitqueue_head(struct wait_queue_head *h)
 static inline void init_waitqueue_entry(struct wait_queue *q, struct thread *thread)
 {
     q->thread = thread;
+    INIT_LIST_HEAD(&q->thread_list);
 }